Buy Used and New Einar Broch Johnsen Books

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science)

by Marco Bernardo,Ferruccio Damiani,Reiner Haehnle,Einar Broch Johnsen,Ina Schaefer

ISBN 13: 9783319073163

Format: Paperback (352 pages)
Publisher: Springer
Published: 21 May 2014

Save for later

Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings: 10465 (Lecture Notes in Computer Science)

by Flavio De Paoli,Stefan Schulte,Einar Broch Johnsen

ISBN 13: 9783319672618

Format: Paperback (252 pages)
Publisher: Springer
Published: 01 Sep 2017

Save for later

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, ... 10886 (Lecture Notes in Computer Science)

by Einar Broch Johnsen,Ina Schaefer

ISBN 13: 9783319929699

Format: Paperback (320 pages)
Publisher: Springer
Published: 07 Jul 2018

Save for later

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings: 7940 (Lecture Notes in Computer Science)

by Einar Broch Johnsen,Luigia Petre

ISBN 13: 9783642386121

Format: Paperback (460 pages)
Publisher: Springer
Published: 24 May 2013

Save for later

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and ... 13241 (Lecture Notes in Computer Science)

by Einar Broch Johnsen,Manuel Wimmer

ISBN 13: 9783030994280

Format: Paperback (364 pages)
Publisher: Springer
Published: 29 Mar 2022

Save for later

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

ISBN 13: 9783031081651

Format: Paperback (533 pages)
Publisher: Springer
Published: 16 Jun 2022

Save for later